Álgebra universal, lógica y teoría de categorías

Lineas de investigación:

Estructuras algebraicas relacionadas con la lógica borrosa

Representaciones topológicas y mediante haces de algunas clases de álgebras

Operaciones implícitas en cuasivariedades

Estudio lógico y algebraico de fragmentos, extensiones, expansiones y generalizaciones del cálculo intuicionista y otros cálculos proposicionales relacionados

Categorías de lógicas

Lógica cuántica

Objetivos:

El área comprende distintas líneas de trabajo, que si bien son desarrolladas de marera bastante independiente, tienen todas como nexo el uso de ideas y técnicas provenientes del álgebra universal, la topología, la geometría topológica y la teoría de categorías a problemas inspirados en la lógica proposicional, o de interés en el estudio de la misma.

Integrantes y contactos